#include <stdio.h>

int main(int argc, char *argv[])
{
	int t, h, m, s, tmp;
	scanf("%d", &t);

	h = t / 3600;
	tmp = t % 3600;
	m = tmp / 60;
	s = tmp % 60;
	printf("%02d:%02d:%02d\n", h, m, s);

	return 0;
}
